A Systematic Taxonomy of Metamodel Evolution Impacts on OCL Expressions
نویسندگان
چکیده
Inspired by the seminal paper on ”Model Transformations? Transformation Models!” [1] we will have a fresh look on the evolution of model evolution. Model evolution is more and more seen as part of change management in general with change as first class principle in the whole software product lifecycle. Thus, a descriptive notion of evolution in terms of evolution models is necessary. In this talk, we will shed some light on current research endeavors pathing the way to a more systematic management of evolution.
منابع مشابه
Systematic Co-Evolution of OCL Expressions
Metamodels are the central artifacts in Model-Driven Engineering and like any other software artifact, subject to constant change. This fact necessitates the co-evolution of dependent artifacts such as models and transformations to resolve induced inconsistencies. While the co-evolution of models has been extensively studied, the co-evolution of transformations and especially OCL expressions be...
متن کاملA Metamodel-Based OCL-Compiler for UML and MOF
After becoming part of the UML standard, OCL has been applied successfully in various domains. As a result, requirements to be met by future versions of OCL have evolved. A key requirement is to provide means for the formal integration of OCL and UML. Therefore, the latest proposal for a revised specification of OCL contains a metamodel defining the language concepts and semantics. Based on thi...
متن کاملHeuristic-Based Recommendation for Metamodel - OCL Coevolution
We propose a novel approach for solving the problem of coevolution between metamodels and OCL constraints. Unlike existing solutions, our approach does not rely on predefined update rules and explicit tracking of high level changes to the metamodel. Rather, we pose it as a multi-objective optimization problem, exploring the space of possible OCL modifications to identify solutions that (a) do n...
متن کاملSpecifying Coupling and Cohesion Metrics using OCL and Alloy
This report presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion metrics. We also describe a systematic approach to the analysis of MOF-compliant metamodels and illustrate the approach using the presented metamodel. In this approach, we express the metamodel using UML and OCL and harn...
متن کاملA precise approach to validating UML models and OCL constraints
The Unified Modeling Language (UML) is a widely accepted standard for modeling software systems. The UML supports object-oriented approaches to software development with a rich set of modeling concepts. The graphical notation of UML includes diagrams such as use case diagrams, class diagrams, state diagrams and sequence diagrams. These are used for describing static as well as dynamic aspects o...
متن کامل